- canonical epimorphism
- мат.канонический эпиморфизм
English-Russian scientific dictionary. 2008.
canonical epimorphism
Смотреть что такое "canonical epimorphism" в других словарях:
Epimorphism — In category theory an epimorphism (also called an epic morphism or an epi) is a morphism f : X rarr; Y which is right cancellative in the following sense: : g 1 o f = g 2 o f implies g 1 = g 2 for all morphisms g 1, g 2 : Y rarr; Z .Epimorphisms… … Wikipedia
Abelian category — In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototype example of an abelian category is the category of… … Wikipedia
Exact category — In mathematics, an exact category is a concept of category theory due to Daniel Quillen which is designed to encapsulate the properties of short exact sequences in abelian categories without requiring that morphisms actually possess kernels and… … Wikipedia
Kripke semantics — (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non classical logic systems created in the late 1950s and early 1960s by Saul Kripke. It was first made for modal… … Wikipedia
Product (category theory) — In category theory, the product of two (or more) objects in a category is a notion designed to capture the essence behind constructions in other areas of mathematics such as the cartesian product of sets, the direct product of groups, the direct… … Wikipedia
Coproduct — This article is about coproducts in categories. For coproduct in the sense of comultiplication, see Coalgebra. In category theory, the coproduct, or categorical sum, is the category theoretic construction which includes the disjoint union of sets … Wikipedia
Additive category — In mathematics, specifically in category theory, an additive category is a preadditive category C such that any finitely many objects A 1,..., A n of C have a biproduct A 1 ⊕ ⋯ ⊕ A n in C. (Recall that a category C is preadditive if all its… … Wikipedia
Derived category — In mathematics, the derived category D(C) of an abelian category C is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on C. The construction proceeds on the… … Wikipedia
Projective object — In category theory, the notion of a projective object generalizes the notion of free module.An object P in a category C is projective if the hom functor: operatorname{Hom}(P, )colonmathcal{C} omathbf{Set}preserves epimorphisms. That is, every… … Wikipedia
Projection (mathematics) — Commutativity of this diagram is the universality of projection π, for any map f and set X. Generally speaking, in mathematics, a projection is a mapping of a set (or of a mathematical structure) which is idempotent, which means that a projection … Wikipedia
Equivalence class — This article is about equivalency in mathematics; for equivalency in music see equivalence class (music). In mathematics, given a set X and an equivalence relation on X, the equivalence class of an element a in X is the subset of all elements in… … Wikipedia
